Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
131	Back to the Roots: Implementing the RTOS as a Specialized State Machine Christian Dietrich, Martin Hoffmann, Daniel Lohmann Department of Computer Science 4 - Distributed Systems and Operating Systems Friedrich-Alexander Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2016-07-14 16:23:27 Computer architecture Computing Software Embedded operating systems Finite automata Finite-state machine OSEK Real-time operating system Model checking Kernel Protection ring Embedded system
132	Automatic Abstraction Refinement for Generalized Symbolic Trajectory Evaluation ∗ Department Yan Chen∗, Yujing He∗ , Fei Xie∗ and Jin Yang† of Computer Science, Portland State University, Portland, OR 97207. {c Add to Reading List Source URL: www.mpi-sws.org Language: English - Date: 2011-07-23 03:31:56 Graph theory Mathematics Model checking Theoretical computer science Graph Binary decision diagram Tree Circuit Symbolic trajectory evaluation Signal-flow graph Topology
133	Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings Claus Schr¨oter1 and Victor Khomenko2 1 Institut f¨ Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2004-10-12 04:45:38 Models of computation Concurrency Diagrams Petri net Software engineering Symbol Model checking Theoretical computer science Metaphor
134	Automatic Refinement Checking for B? Michael Leuschel1,2 and Michael Butler1 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-21 10:57:32 Software engineering Computing Formal methods Refinement FDR Model checking Prolog Algorithm Predicate transformer semantics Type system Abstract machine XSB
135	Combining CSP and B for Specification and Property Verification⋆ Michael Butler1 and Michael Leuschel1,2 1 2 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-11-21 11:00:56 Software engineering Theoretical computer science Computing Concurrent computing Constraint programming Models of computation Model checkers Process calculus Michael Butler Model checking FDR Denotational semantics
136	Raising Level of Abstraction with Partial Models: A Vision Marsha Chechik1 , Arie Gurfinkel2 , Sebastian Uchitel3 , and Shoham Ben-David1 1 3 Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-31 06:33:48 Software engineering Formal methods Models of computation Computing Engineering Model checking Object Process Methodology Conceptual model MTSS Scientific modelling Refinement Transition system
137	A BDD Representation for Positive Equational Formulas Wenxin Song, Eugene W. Stark? Department of Computer Science State University of New York at Stony Brook Add to Reading List Source URL: bsd7.cs.sunysb.edu Language: English - Date: 2008-07-02 09:38:12 Mathematics Logic Mathematical logic Boolean algebra Formal languages Model theory Binary decision diagram Model checking IP Boolean satisfiability problem Constructible universe Well-formed formula
138	Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic Kevin Baldor 1,2 Add to Reading List Source URL: rv2012.ku.edu.tr Language: English - Date: 2012-10-04 10:58:18 Distributed computing Safety United States federal banking legislation Liveness GrammLeachBliley Act Gramm Model checking Computing
139	Microsoft Word - CFPDraft- PN Add to Reading List Source URL: petrinets2014.cnam.fr Language: English - Date: 2013-06-24 11:01:34 Concurrency Models of computation Petri nets Theoretical computer science International Conference on Applications and Theory of Petri Nets and Concurrency Software engineering Diagrams Computing Model checking Wil van der Aalst Petri

UPDATE